html {
	margin: 0px 0px 0px 0px;
	font: Arial 11px normal;
}
#selector {
	position: absolute;
	bottom: 10px;
	right: 20px;
	height: 30px;
	z-index: 2;
	background-color: white;
}
#options_dialog_selector {
	float: left;
	width: 50px;
	height: 10px;
	opacity: 0.3;
	background-color: red;
	border-radius: 5px;
}
#actions_dialog_selector {
	float: left;
	width: 50px;
	height: 10px;
	opacity: 0.3;
	background-color: green;
	border-radius: 5px;
}
#output_dialog_selector {
	float: left;
	width: 50px;
	height: 10px;
	opacity: 0.3;
	background-color: blue;
	border-radius: 5px;
}
.CodeMirror {
	border: 1px solid #aaa;
	width: 50%;
}
.CodeMirror-fullscreen {
	display: block;
	position: absolute;
	top: 0; left: 0;
	width: 100%;
	height: 100%;
	z-index: 1;
}
.CodeMirror-gutter {
	width: 3em;
	background: white;
}
.activeline {
	background: #e8f2ff !important;
}
span.CodeMirror-matchhighlight { 
	background: #e9e9e9;
}
.CodeMirror-focused span.CodeMirror-matchhighlight { 
	background: #e7e4ff; !important;
}
dt {
	font-family: monospace; color: #666;
}
.cm-tab {
         background: url();
         background-position: right;
         background-repeat: no-repeat;
}
.ui-widget { 
	font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif; 
	font-size: 11px; 
}
#bottom_panel {
	width: 50%;
}
#bottom_panel div textarea {
	width: 100%;
}
